trait D extends B with C

